Theorem Proving System - PDFSEARCH.IO - Document Search Engine

Theorem Proving System
Results: 96

#	Item
91	Proceedings of the International Multiconference on Computer Science and Information Technology, pp. 1071 – 1080 Add to Reading List Source URL: www.proceedings2007.imcsit.org Language: English - Date: 2008-12-10 18:15:24 Software engineering Automated theorem proving Rules of inference Constraint programming Reasoning Prolog Horn clause Resolution Reasoning system Logic Artificial intelligence Logic programming
92	DIAMOND: Diagrammatic Reasoning System Demonstration Add to Reading List Source URL: www.aaai.org Language: English - Date: 2011-12-06 15:48:36 Automated theorem proving Reasoning Proof theory Mathematical logic Deduction Mathematical proof Diagrammatic reasoning Reasoning system Proof Logic Science Mathematics
93	PDF Document Add to Reading List Source URL: www.cs.uchicago.edu Language: English - Date: 2008-12-17 14:33:43 Computational complexity theory Logic in computer science Alexander Razborov Automated theorem proving Natural proof Nevanlinna Prize Proof complexity Frege system Steven Rudich Theoretical computer science Applied mathematics Mathematics
94	PDF Document Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2004-01-15 09:13:15 Logic in computer science Formal methods Automated theorem proving Mizar system Proof assistant Automated proof checking Mizar and Alcor Mathematical proof Isabelle Theoretical computer science Mathematical logic Mathematics
95	PDF Document Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2008-07-17 03:24:03 Automated theorem proving Formal methods E theorem prover Vampire CADE ATP System Competition Logic in computer science Geoff Sutcliffe Automated reasoning CASC Logic Mathematics Mathematical logic
96	PDF Document Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2006-08-24 20:08:31 Proof theory Automated theorem proving Logic in computer science Propositional calculus Computational complexity theory Natural deduction Sequent calculus Propositional proof system Proof complexity Logic Mathematical logic Mathematics

UPDATE